HITs is a link-structure analysis algorithm which ranks pages by "authorities" (pages which have many incoming links and provide the best source of information on a given topic) and "hubs" (pages which have many outgoing links and provide useful lists...
Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horus research.
Open source system that provides fully decentralized approximate keyword search capabilities to Vuze as a standard plugin. As it is decentralized, it's immune to legal and technical attacks targeting torrent aggregators.
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, peo...